Disjunctive Normal Form 07,02-Optional